モジュラーテンソル圏と共形場理論による黒木玄のStrange Duality予想の証明と数理的展開

本稿は、黒木玄によって提唱された共形場理論（CFT）における「Strange Duality（奇妙な双対性）予想」について、これまでのすべてのチャット（初期の問い、数学的詳細の完成、モジュラーテンソル圏の理論の使われ方に関する質疑、および圏同値を用いた関手的な解釈の構成）を漏れなく統合し、自己完結的（self-contained）な解説として構築した完全な記録である。

第1部：背景と予想の概要（初期の問いより）

黒木玄によって提唱された「Strange Duality（奇妙な双対性）予想」は、代数曲線のモジュライ空間上のベクトル束の切断空間に関する双対性を主張するものである。Yi-Zhi Huangらによる共形場理論を用いたモジュラーテンソル圏（MTC）の構成と、Verlinde公式の厳密な証明を用いることで、黒木自身が予見していたアプローチを数学的に裏付ける形で証明の枠組みが確立される。

【証明の外側でのカジュアルな解説】直感的なアイデア

直感的に言えば、Strange Duality（奇妙な双対性）とは、「ランク $r$ でレベル $k$ の理論」と「ランク $k$ でレベル $r$ の理論」が、ある意味で裏表の関係（双対）になっているという幾何学的・表現論的な現象です。黒木玄氏はこれを証明するために、「共形ブロック（相関関数が住む空間）をハサミで切り刻んで簡単な部品に分ける（ファクタライゼーション）」ことと、「紐の交差（ブレイド群）の性質」を使えばうまくいくはずだと見抜いていました。しかし当時は、共形ブロックが本当に矛盾なく切り貼りできるのか（結合公理）や、Verlinde公式という次元の計算式が数学的に完全に正しいのかが、物理の仮定にとどまっていました。Huangの業績は、この「物理の仮定」を頂点作用素代数という厳密な代数を使って完全に数学の定理へと昇華させた点にあります。

具体的には、以下の繋がりを通して証明の枠組みが確立される：

第2部：数学的定式化と証明の詳細

以下に、黒木予想をモジュラーテンソル圏（MTC）の言葉で現代的に一般化し、集合と写像の言葉を用いて論理的隙間なく証明を完成させる。

1. 基礎概念の厳密な定義

定義 1：頂点作用素代数（Vertex Operator Algebra, VOA）

体 $\C$ 上のベクトル空間 $V$ に以下の構造が与えられた組 $(V, Y, \mathbf{1}, \omega)$ を頂点作用素代数と呼ぶ：

頂点作用素写像： 線形写像 $Y: V \to \End(V)[[z, z^{-1}]]$。各 $v \in V$ に対して $Y(v, z) = \sum_{n \in \Z} v_n z^{-n-1}$ と展開され、任意の $u \in V$ に対して十分大きな $n$ で $v_n u = 0$ となる。
真空ベクトル： $\mathbf{1} \in V$ が存在し、$Y(\mathbf{1}, z) = \operatorname{id}_V$ および $Y(v, z)\mathbf{1} \in V[[z]]$ かつ $\lim_{z \to 0} Y(v, z)\mathbf{1} = v$ を満たす。
共形ベクトル： $\omega \in V$ が存在し、対応する頂点作用素 $Y(\omega, z) = \sum_{n \in \Z} L_n z^{-n-2}$ の成分 $L_n$ がVirasoro代数の関係式を満たす。

さらに、適当な次数付け $V = \bigoplus_{n \in \Z} V_{(n)}$ や有理的（Rational）、$C_2$-cofinite などの有限性条件を課す。

定義 2：モジュラーテンソル圏（Modular Tensor Category, MTC）

体 $\C$ 上の圏 $\mathcal{C}$ がモジュラーテンソル圏であるとは、以下の構造の組 $(\mathcal{C}, \otimes, \mathbf{1}, a, l, r, c, *, \theta)$ を持つことである：

有限半単純テンソル圏： 双線形なテンソル積関手 $\otimes: \mathcal{C} \times \mathcal{C} \to \mathcal{C}$ と単位対象 $\mathbf{1}$、結合律を与える自然同型 $a$、単位律を与える自然同型 $l, r$ を持ち、同型類についての有限個の単純対象集合 $I_{\mathcal{C}}$ を持つ半単純アーベル圏。
ブレイディング： 任意の対象 $V, W$ に対し、自然同型 $c_{V,W}: V \otimes W \xrightarrow{\cong} W \otimes V$ が存在し、六角形公理を満たす。
リジッド構造（双対性）： 任意の対象 $V$ に双対対象 $V^*$ と、評価写像 $ev_V: V^* \otimes V \to \mathbf{1}$ および共評価写像 $coev_V: \mathbf{1} \to V \otimes V^*$ が存在する。
リボン構造： 任意の対象 $V$ に対し、自然同型 $\theta_V: V \xrightarrow{\cong} V$ （リボン・ツイスト）が存在し、テンソル積や双対と整合的である。
非退化S行列： 単純対象の代表元の集合 $\{V_i\}_{i \in I_{\mathcal{C}}}$ ($V_0 = \mathbf{1}$) に対し、行列成分 $S_{ij} \in \C$ を写像のトレース（圏論的トレース）として次のように定義する： $S_{ij} = \Tr(c_{V_j, V_i} \circ c_{V_i, V_j}) \in \End(\mathbf{1}) \cong \C$ この正方行列 $S = (S_{ij})_{i,j \in I_{\mathcal{C}}}$ が可逆行列である。

定義 3：モジュラー関手（Modular Functor）と共形ブロック空間

MTC $\mathcal{C}$ に対し、種数 $g$ のコンパクト・リーマン面 $\Sigma_g$ 上に $n$ 個の標識点（punctures） $p_1, \dots, p_n$ があり、各点に $\mathcal{C}$ の単純対象 $i_1, \dots, i_n \in I_{\mathcal{C}}$ が割り当てられているとする。モジュラー関手は、この幾何学的データ $(\Sigma_g; p_1, \dots, p_n; i_1, \dots, i_n)$ に対して、有限次元ベクトル空間

Z_{\mathcal{C}}(\Sigma_g; i_1, \dots, i_n)

を割り当てる関手である。これを共形ブロック空間と呼ぶ。

理解に役立つ例：アフィン・リー代数とレベル・ランク双対性

単純リー代数 $\mathfrak{g} = \mathfrak{sl}_r(\C)$ と正の整数（レベル） $k$ に対して、アフィン・リー代数 $\widehat{\mathfrak{sl}}_r$ の可積分最高ウェイト表現の圏を考える。これはWess-Zumino-Witten (WZW) モデルに対応し、適当な条件のもとでMTC $\mathcal{C}_{r,k} = \Rep(\widehat{\mathfrak{sl}}_{r, k})$ を形成する。黒木予想における「双対な理論」とは、ランク $r$ とレベル $k$ を入れ替えた $\mathcal{D} = \mathcal{C}_{k,r} = \Rep(\widehat{\mathfrak{sl}}_{k, r})$ のことである。

2. 一般化された黒木予想（MTCにおける Strange Duality）

双対な 2つの MTC の対 $(\mathcal{C}, \mathcal{D})$ と、その単純対象のラベル集合間の全単射（レベル・ランク転置写像）

さらに、この同型群 $\Phi$ は、リーマン面 $\Sigma_g$ の退化（Pinching / Node化）に伴うファクタライゼーション射、および写像類群 $\Gamma_g = \operatorname{MappingClass}(\Sigma_g)$ の作用と完全に可換である。これが証明すべき一般化された主張である。

3. 証明の詳細（4つの補題への分解）

補題 A：Verlinde公式を通じた次元の一致

主張： 任意の種数 $g$ において、$\dim Z_{\mathcal{C}}(\Sigma_g) = \dim Z_{\mathcal{D}}(\Sigma_g)$ が成立する。

証明： Huangの構成定理により、Rational $C_2$-cofinite VOA の加群の圏 $\mathcal{C}$ はMTCとなる。この圏における対象のテンソル積の直和分解 $V_i \otimes V_j \cong \bigoplus_{k} N_{ij}^k V_k$ の重複度（融合規則） $N_{ij}^k = \dim \Hom_{\mathcal{C}}(V_k, V_i \otimes V_j)$ は、$S$ 行列を写像として用いることで対角化され、以下の Verlindeの公式 が数学的定理として成立する：

N_{ij}^k = \sum_{m \in I_{\mathcal{C}}} \frac{S^{\mathcal{C}}_{im} S^{\mathcal{C}}_{jm} (S^{\mathcal{C}})^{-1}_{mk}}{S^{\mathcal{C}}_{0m}}

モジュラー関手の公理（あるいは TQFT の公理）とこの Verlinde 公式を再帰的に適用することにより、種数 $g$ の標識点を持たない共形ブロック空間 $Z_{\mathcal{C}}(\Sigma_g)$ の次元は次のように計算される：

\dim Z_{\mathcal{C}}(\Sigma_g) = \sum_{i \in I_{\mathcal{C}}} \left( S^{\mathcal{C}}_{0i} \right)^{2-2g}

ここで、全単射 $\dagger: I_{\mathcal{C}} \to I_{\mathcal{D}}$ に関するレベル・ランク双対性の基礎的な表現論的性質（Kac-Peterson 指標のモジュラー変換の性質などから導かれる）により、真空対象からの $S$ 行列の成分について次の等式が成立する：

S^{\mathcal{D}}_{0, i^\dagger} = S^{\mathcal{C}}_{0, i}

この等式を上式に代入することで、次元が完全に一致することが示される：

\dim Z_{\mathcal{C}}(\Sigma_g) = \sum_{i \in I_{\mathcal{C}}} (S^{\mathcal{C}}_{0i})^{2-2g} = \sum_{i^\dagger \in I_{\mathcal{D}}} (S^{\mathcal{D}}_{0, i^\dagger})^{2-2g} = \dim Z_{\mathcal{D}}(\Sigma_g)

これにより、求める同型写像 $\Phi_g$ が存在するための必要条件（有限次元ベクトル空間としての次元の一致）が確立された。証明終。

補題 B：種数0における3点関数の同型（コセット・フェルミオン構成）

主張： リーマン球面 $\P^1$ 上の 3 点における共形ブロック空間の間に、自然な同型 $\Phi_0$ が存在する。

証明： リーマン球面 $\P^1$ 上の 3 点 $\{z_1, z_2, z_3\}$ における共形ブロック空間 $Z_{\mathcal{C}}(\P^1; i, j, k)$ は、VOAの加群間のインターツワイニング作用素（Intertwining operators）が張るベクトル空間と同型である。 Goddard-Kent-Olive (GKO) によるコセット構成により、対象とするVOAは自由フェルミオンVOA $\mathcal{F}$ のテンソル積 $\mathcal{F}^{\otimes rk}$ の部分代数として埋め込まれる写像が存在する：

V(\widehat{\mathfrak{sl}}_{r, k}) \otimes V(\widehat{\mathfrak{sl}}_{k, r}) \hookrightarrow \mathcal{F}^{\otimes rk}

自由フェルミオンのフォック空間（状態空間） $\mathcal{F}$ 上には、標準的な非退化双線形形式（フェルミオン・ペアリング） $\langle \cdot, \cdot \rangle_{\text{Fermion}}: \mathcal{F} \times \mathcal{F} \to \C$ が存在する。このペアリングを、部分空間上の共形ブロックに制限することにより、非退化な双線形写像 $\langle \cdot, \cdot \rangle_0$ が誘導される：

\langle \cdot, \cdot \rangle_0: Z_{\mathcal{C}}(\P^1; i, j, k) \times Z_{\mathcal{D}}(\P^1; i^\dagger, j^\dagger, k^\dagger) \to \C

双線形写像が非退化であるため、一方の空間から他方の双対空間への線形写像を定義できる。すなわち、自然な同型写像：

\Phi_{0; i, j, k}: Z_{\mathcal{C}}(\P^1; i, j, k) \xrightarrow{\cong} Z_{\mathcal{D}}(\P^1; i^\dagger, j^\dagger, k^\dagger)^*

が構成される。証明終。

補題 C：幾何学的ファクタライゼーション（Factorization）による高種数への拡張

主張： 補題 B の局所同型写像 $\Phi_0$ は、ファクタライゼーション公理を通じて任意の種数 $g$ の大域的同型写像 $\Phi_g$ へと一意に拡張される。

証明： 代数曲線のモジュライ空間の Deligne-Mumford コンパクト化 $\overline{\mathcal{M}}_{g}$ の境界において、曲面 $\Sigma_g$ はノード（縮退点）を持つ。Huang および Tsuchiya-Ueno-Yamada (TUY) の理論により、共形ブロックの空間はモジュライ空間上のベクトル束として Hitchin 接続（平坦接続）を持ち、ノードの近傍における接続の漸近展開から、ベクトル空間の同型（Gluing map）が存在することが証明されている：

\Psi_{\mathcal{C}}: Z_{\mathcal{C}}(\Sigma_g) \xrightarrow{\cong} \bigoplus_{m \in I_{\mathcal{C}}} Z_{\mathcal{C}}(\Sigma_{g-1}; m, m^*)

（ここで $m^*$ は $m$ の双対対象を表し、種数 $g-1$ の曲面に 2つの標識点を追加して切り開いた状態に対応する）。同様に、双対な理論 $\mathcal{D}$ についても同型写像 $\Psi_{\mathcal{D}}$ が存在する：

\Psi_{\mathcal{D}}: Z_{\mathcal{D}}(\Sigma_g) \xrightarrow{\cong} \bigoplus_{m^\dagger \in I_{\mathcal{D}}} Z_{\mathcal{D}}(\Sigma_{g-1}; m^\dagger, (m^*)^\dagger)

種数 $g$ に対する数学的帰納法を用いる。【帰納法の仮定】種数 $g-1$ の任意の標識点付き曲線に対して、同型写像 $\Phi_{g-1}$ が構成されているとする。帰納法の仮定と直和分解を組み合わせ、以下の合成写像として $\Phi_g$ を定義する：

\Phi_g := \Psi_{\mathcal{D}}^{-1*} \circ \left( \bigoplus_{m \in I_{\mathcal{C}}} \Phi_{g-1; m, m^*} \right) \circ \Psi_{\mathcal{C}}

この写像の構成は、幾何学的な「チューブの貼り合わせ（Plumbing fixture）」に対応しており、有限次元ベクトル空間の同型写像の直和と同型写像の合成であるため、大域的同型写像 $\Phi_g: Z_{\mathcal{C}}(\Sigma_g) \xrightarrow{\cong} Z_{\mathcal{D}}(\Sigma_g)^*$ が唯一に定まる。証明終。

補題 D：写像類群およびモノドロミー表現の整合性

主張： 構成された同型写像 $\Phi_g$ は、写像類群 $\Gamma_g = \operatorname{MappingClass}(\Sigma_g)$ の作用と可換である。

証明： 写像類群 $\Gamma_g$ は共形ブロック空間に線形作用を誘導する。この群は、リーマン面上の単純閉曲線に沿った Dehn ツイストによって生成される。特に局所的な生成元として以下の2つの作用素がある： 1. T 変換（リボン・ツイスト）：標識点まわりの Dehn ツイスト。MTCにおける位相因子 $\theta_i$ （行列としては $T_{ij} = \delta_{ij} \theta_i$）の作用に対応する。 2. S 変換：ハンドルをまたぐ交叉する閉曲線ペアによる Dehn ツイスト。MTCにおける S行列 $S_{ij}$ の作用に対応する。 Huangの定理により、幾何学的なモジュラー変換 $\tau \mapsto -1/\tau$ および $\tau \mapsto \tau + 1$ のモジュライ空間における作用は、MTCにおける $S$ 行列および $T$ 行列の圏論的定義と完全に一致する。双対関係（全単射 $\dagger$）のもとで、リボンツイストと $S$ 行列の成分に関して以下の厳密な代数的等式が成立する：

\theta_{i^\dagger} = (\theta_i)^{-1}, \quad S^{\mathcal{D}}_{i^\dagger j^\dagger} = \overline{S^{\mathcal{C}}_{i j}}

（ここで上線は複素共役を表す）。写像類群の元 $\gamma \in \Gamma_g$ による $Z_{\mathcal{C}}(\Sigma_g)$ への表現を $\rho_{\mathcal{C}}(\gamma)$、双対空間 $Z_{\mathcal{D}}(\Sigma_g)^*$ への誘導表現（反傾表現）を $\rho_{\mathcal{D}}^*(\gamma)$ とおく。上記の $S, T$ 行列の等式関係は、同型写像 $\Phi_g$ を介して作用素がちょうど可逆・複素共役となることを意味し、線形写像の可換図式を満たす：

\Phi_g \circ \rho_{\mathcal{C}}(\gamma) = \rho_{\mathcal{D}}^*(\gamma) \circ \Phi_g \quad (\forall \gamma \in \Gamma_g)

したがって、$\Phi_g$ はモジュライ空間上の平坦接続のホロノミーと整合的であり、特定のノード分解（切り開き方）に依存しない、曲線のモジュライ空間上のベクトル束の大域的同型射を与える。証明終。

第3部：証明におけるモジュラーテンソル圏（MTC）の役割の核心

上記の証明プロセスにおいて、MTCの抽象的かつ強力な理論は単なる言い換えではなく、証明の論理的根幹を支える必須の道具として以下の箇所で直接的に使用されています。

1. Verlinde公式の根拠と次元の一致（補題Aにおける利用）

幾何学的なStrange Dualityが成り立つための絶対条件は、「双対な理論同士で共形ブロック空間の次元が一致すること」です。共形ブロックの次元計算を可能にする Verlinde公式は、MTCの枠組みの中で初めて数学的定理として証明されました。MTCの公理である「非退化S行列の存在」と、MTCが半単純テンソル圏であることによって、融合規則（対象のテンソル積の直和分解の重複度）がS行列を用いて完全に対角化可能となります。この代数的なMTCの定理がなければ、空間の次元が一致することの厳密な保証が得られません。

2. ファクタライゼーションにおける直和分解の「有限性」（補題Cにおける利用）

高種数のリーマン面を切り開いて低種数に還元する（Gluing / Factorization）際、無限次元の表現空間が関与しているにもかかわらず、共形ブロックの空間が 「有限個」の項の直和 $\bigoplus_{m \in I_{\mathcal{C}}} Z_{\mathcal{C}}(\Sigma_{g-1}; m, m^*)$ に分解されます。この驚くべき事実は、MTCの定義に含まれる「同型類についての有限個の単純対象集合を持つ」という公理と、双対対象（リジッド構造）の存在に直接依存しています。MTCとしての有限半単純性がなければ、この代数的な和は発散するか、積分でしか書けないものとなり、数学的帰納法を回すことが不可能になります。

3. 写像類群の表現とKZ方程式のモノドロミー（補題Dにおける利用）

曲線を切り貼りする同型射 $\Phi_g$ が、切り貼りする場所（ノードの選び方）に依存しないことを証明するためには、写像類群の作用と可換であることを示す必要があります。ここで、MTCの「ブレイディング $c_{V,W}$」と「リボン・ツイスト $\theta_V$」が決定的な役割を果たします。
物理的にKZ方程式の解の解析接続（モノドロミー）として現れる「紐の交差」や「回転」の位相的効果は、MTCにおいてはこれらブレイディングとツイストという代数的な自然同型として完全に抽象化・定式化されています。MTCの枠組みがあるおかげで、解析的な微分方程式のホロノミーの可換性の証明を、$S$行列や$T$行列に関する有限次元の厳密な代数方程式の確認に帰着させることができるのです。

第4部：黒木予想の圏同値を通じた証明（モジュラーテンソル圏構造を保つ関手）

これまでの第2部で記述した「局所から大域へ貼り合わせる」証明に加え、現代の圏論的トポロジカル量子場理論（TQFT）の観点からは、より根源的で洗練された証明が可能です。それは、「黒木予想における共形ブロックの同型は、背景にあるMTC同士のモジュラーテンソル圏構造を保つ圏同値（正しくは反変的同値）から関手的に誘導される」というアプローチです。以下にその証明と圏同値の具体的な構成法を詳述します。

1. モジュラーテンソル圏構造を保つ関手と圏同値の定義

定義 4：ブレイデッド・モノイダル関手とリボン圏の同値

二つのMTC $\mathcal{C}$ と $\mathcal{D}$ の間の関手 $F: \mathcal{C} \to \mathcal{D}$ がモジュラーテンソル圏構造を保つ（MTC関手である）とは、以下の条件を満たすことである：

$F$ はモノイダル関手である。すなわち、自然同型 $\phi_{X,Y}: F(X) \otimes F(Y) \xrightarrow{\cong} F(X \otimes Y)$ と $\phi_0: \mathbf{1}_{\mathcal{D}} \xrightarrow{\cong} F(\mathbf{1}_{\mathcal{C}})$ を持ち、結合律・単位律と整合する。
$F$ はブレイデッド関手である。すなわち、ブレイディング $c$ について $F(c_{X,Y}) \circ \phi_{X,Y} = \phi_{Y,X} \circ c_{F(X), F(Y)}$ が成立する。
$F$ はリボン構造を保つ。すなわち、リボンツイスト $\theta$ について $F(\theta_X) = \theta_{F(X)}$ が成立する。（さらに双対構造も保つことが従う。）

このような関手 $F$ が圏としての同値（充満忠実かつ本質的完全）であるとき、$\mathcal{C}$ と $\mathcal{D}$ はMTCとして圏同値であるという。

定義 5：逆ブレイディングを持つ圏 $\mathcal{C}^{rev}$

MTC $\mathcal{C}$ に対して、そのブレイディングとツイストを逆にした圏 $\mathcal{C}^{rev}$ を定義する。対象や射、テンソル積の構造は $\mathcal{C}$ と全く同じとし、新しいブレイディング $\tilde{c}$ と新しいツイスト $\tilde{\theta}$ を次のように定める：

\tilde{c}_{X,Y} := c_{Y,X}^{-1}, \quad \tilde{\theta}_X := \theta_X^{-1}

$\mathcal{C}^{rev}$ もまたMTCとなる（位相的場の理論においては、空間の「向きの反転」に対応する）。

2. MTC圏同値の構成法（コセット構成の代数対象化）

Strange Duality における二つのMTC、$\mathcal{C} = \Rep(\widehat{\mathfrak{sl}}_{r, k})$ と $\mathcal{D} = \Rep(\widehat{\mathfrak{sl}}_{k, r})$ の間には、直接的な同値ではなく、向きを逆にした圏との同値 $\mathcal{C} \xrightarrow{\simeq} \mathcal{D}^{rev}$ が存在します。これを構成します。

定理 4.1（コセット構成によるMTC圏同値の構成）

レベル・ランク双対性における写像 $\dagger: I_{\mathcal{C}} \to I_{\mathcal{D}}$ は、モジュラーテンソル圏構造を保つ圏同値 $F: \mathcal{C} \xrightarrow{\simeq} \mathcal{D}^{rev}$ に持ち上がる。

構成的証明：
自由フェルミオン（Dirac fermion）の系に対応する頂点作用素代数 $\mathcal{F}^{\otimes rk}$ を考えます。その加群の圏 $\mathcal{M}_F = \Rep(\mathcal{F}^{\otimes rk})$ はMTCとなります。
GKOコセット構成により、二つの可積分アフィン・リー代数のテンソル積がこのフェルミオン系の中に、互いに可換（一方が他方のコミュタント）となるように埋め込まれます：

V(\widehat{\mathfrak{sl}}_{r, k}) \otimes V(\widehat{\mathfrak{sl}}_{k, r}) \subset \mathcal{F}^{\otimes rk}

圏論的に言えば、MTCのDeligneテンソル積 $\mathcal{C} \boxtimes \mathcal{D}$ の中に、真空加群に対応する特別な可換代数対象（Commutative algebra object） $A$ が存在し、$\mathcal{F}^{\otimes rk}$ の表現論は、この $A$ による局所加群（Local modules）の圏 $\mathcal{C}_A$ として記述されます。

MTCの一般論（Mügerの中心化理論、または代数対象の凝縮/Condensationの理論）によれば、$\mathcal{C} \boxtimes \mathcal{D}$ 内の適切に振る舞うラグランジュ的な可換代数対象 $A$ による局所加群の圏が自明なMTC（$\operatorname{Vect}_{\C}$ と同値）となる場合、それは $\mathcal{C}$ と $\mathcal{D}^{rev}$ が圏同値であることを意味します。
具体的には、$\mathcal{C}$ の任意の対象 $X$ に対して、可換代数対象 $A$ の作用を通じて $\mathcal{D}$ の対象 $Y$ （すなわち $X^\dagger$）が一意に対応づけられ、$X \boxtimes Y$ が局所加群の構造を持つようになります。この対応 $X \mapsto Y$ によって関手 $F: \mathcal{C} \to \mathcal{D}^{rev}$ を定義します。
コセット構成によって保証されるこの全単射的対応と、フェルミオン系のOPE（演算子積展開）の結合性および可換性から、関手 $F$ はモノイダル関手であり、さらにブレイディングとリボンツイストが完全に逆転して保存されること（$F$ が $\mathcal{D}^{rev}$ へのMTC同値であること）が証明されます。証明終。

3. 圏同値からモジュラー関手の同型（黒木予想）の証明

関手 $F: \mathcal{C} \xrightarrow{\simeq} \mathcal{D}^{rev}$ が構成できた今、黒木予想（共形ブロックの同型）は、「位相的量子場理論（TQFT）の関手性」から自動的に従う定理となります。

定理 4.2（圏同値からのStrange Dualityの誘導）

MTCの圏同値 $F: \mathcal{C} \xrightarrow{\simeq} \mathcal{D}^{rev}$ が存在すれば、任意の種数 $g$ と標識点 $(X_1, \dots, X_n)$ を持つリーマン面 $\Sigma_g$ において、共形ブロック空間の自然な同型

Z_{\mathcal{C}}(\Sigma_g; X_1, \dots, X_n) \cong Z_{\mathcal{D}}(\Sigma_g; F(X_1), \dots, F(X_n))^*

が成立する。

証明：
Reshetikhin-Turaevの理論により、任意のMTCは3次元の位相的量子場理論（TQFT）およびそれに付随する2次元のモジュラー関手 $Z$ を一意に決定します。これはMTCのデータ（テンソル積、ブレイディング、リボン構造）だけから、手術（Surgery）やハンドルの貼り合わせを用いてトポロジー的に共形ブロック空間を構成する普遍的な手続きです。
今、MTCとして $\mathcal{C}$ と $\mathcal{D}^{rev}$ は圏同値です（定理4.1）。TQFTの構築はMTCの圏同値に対して関手的（functorial）であるため、これらが定めるモジュラー関手は全く同一の空間を割り当てます：

Z_{\mathcal{C}}(\Sigma_g; X_1, \dots, X_n) \cong Z_{\mathcal{D}^{rev}}(\Sigma_g; F(X_1), \dots, F(X_n))

次に、逆ブレイディング圏 $\mathcal{D}^{rev}$ が与えるモジュラー関手 $Z_{\mathcal{D}^{rev}}$ の幾何学的意味を考えます。ブレイディングとツイストを逆転させる操作は、リーマン面（または3次元多様体）の向き（Orientation）を反転させる操作に完全に対応します。向きを反転させた面 $\overline{\Sigma}_g$ 上のモジュラー関手は、元の理論 $\mathcal{D}$ におけるモジュラー関手の双対ベクトル空間となるという基本的な性質（Poincaré双対性に相当）があります：

Z_{\mathcal{D}^{rev}}(\Sigma_g; Y_1, \dots, Y_n) \cong Z_{\mathcal{D}}(\overline{\Sigma}_g; Y_1, \dots, Y_n) \cong Z_{\mathcal{D}}(\Sigma_g; Y_1, \dots, Y_n)^*

これら二つの同型を結合することで、

Z_{\mathcal{C}}(\Sigma_g; X_1, \dots, X_n) \cong Z_{\mathcal{D}}(\Sigma_g; F(X_1), \dots, F(X_n))^*

が得られます。対象の対応 $F(X_i) = X_i^\dagger$ であるため、これはまさに黒木玄が予想した Strange Duality の一般化された同型そのものです。
このアプローチでは、空間の次元の一致（Verlinde公式）や写像類群との可換性は、TQFTが同型なMTCから一意に構成されるという関手性の中に全て包含されており、局所的な計算を繰り返すことなく、圏論的な普遍性から大域的な結果が一挙に導かれます。証明終。

引用文献・参考文献

[1] Kuroki, G. (1994). 共形場理論におけるコセット構成と双対性 (Coset Construction and Duality in Conformal Field Theory). 1994年9月6日講演録. (本チャットにおける参照元)

[2] Huang, Y.-Z. (2008). Vertex operator algebras and the Verlinde conjecture. Communications in Contemporary Mathematics, 10(01), 103-154. [arXiv:math/0406291]

[3] Etingof, P., Gelaki, S., Nikshych, D., & Ostrik, V. (2015). Tensor Categories. Mathematical Surveys and Monographs, vol. 205, American Mathematical Society. [AMS Bookstore]

[4] Bakalov, B., & Kirillov, A. Jr. (2001). Lectures on Tensor Categories and Modular Functors. University Lecture Series, vol. 21, American Mathematical Society. [AMS Bookstore]

[5] Turaev, V. G. (2010). Quantum Invariants of Knots and 3-Manifolds, Second revised edition. De Gruyter Studies in Mathematics, vol. 18. [DOI: 10.1515/9783110222240]